PQE HPF-a library for exploiting the capabilities of a PQE-1 heterogeneous parallel architecture
نویسندگان
چکیده
Heterogeneous Computing is a special form of parallel and distributed computing where computations are performed using a single autonomous computer operating in both SIMD and MIMD modes, or using a number of connected autonomous computers. In Multimode System Heterogeneous Computing, tasks can be executed in both SIMD and MIMD simultaneously. In this paper we present PQE HPF, an HPF-based programming library which allows to exploit the MIMD and SIMD capabilities offered by PQE-1, a Multimode Parallel Architecture. Two different implementations of a well-known application using HPF and PQE HPF respectively were used to evaluate the overheads introduced over the machine’s runtime system. Preliminary tests conducted by running the case study application on the first PQE-1 prototype show good results and encourage to dedicate more efforts to implement real production parallel codes on a similar architecture.
منابع مشابه
Partial Quantifier Elimination
We consider the problem of Partial Quantifier Elimination (PQE). Given formula ∃X[F (X,Y ) ∧G(X,Y )], where F,G are in conjunctive normal form, the PQE problem is to find a formula F ∗(Y ) such that F ∗ ∧ ∃X[G] ≡ ∃X[F ∧G]. We solve the PQE problem by generating and adding to F clauses over the free variables that make the clauses of F with quantified variables redundant in ∃X[F ∧G]. The traditi...
متن کاملMutations in the pqe-1 Gene Enhance Transgene Expression in Caenorhabditis elegans
Although various genetic tools have been developed and used as transgenes, the expression of the transgenes often is hampered by negative regulators. Disrupting such negative regulators of gene expression is potentially a way to overcome the common problem of low expression of transgenes. To find such regulators whose mutations enhance transgene expression in Caenorhabditis elegans, we took adv...
متن کاملProperty Checking Without Invariant Generation
We introduce ProveProp , a procedure for proving safety properties. ProveProp is based on a technique called Partial Quantifier Elimination (PQE). In contrast to complete quantifier elimination, in PQE, only a part of the formula is taken out of the scope of quantifiers. So PQE can be dramatically more efficient than complete quantifier elimination. The appeal of ProveProp is twofold. First, it...
متن کاملTumor-specifically hypoxia-induced therapy of SPRY1/2 displayed differential therapeutic efficacy for melanoma.
Activation of receptor tyrosine kinase (RTK) signalling pathways is frequently correlated to cancer cell proliferation, angiogenesis and cell survival. Sprouty (SPRY) proteins function as a physiological endogenous inhibitor of RTK signalling pathways, have been shown to be deregulated in most cancer cells. Here, we demonstrated that over-expression of SPRY1 and SPRY2 inhibited B16F10 cell prol...
متن کاملCommunicating data-parallel tasks: an MPI library for HPF
High Performance Fortran (HPF) has emerged as a standard dialect of Fortran for data-parallel computing. However, HPF does not support task parallelism or heterogeneous computing adequately. This paper presents a summary of our work on a library-based approach to support task parallelism, using MPI as a coordination layer for HPF. This library enables a wide variety of applications, such as mul...
متن کامل